Skip to content

WIP: Doc#63

Merged
simoneliuzzo merged 15 commits intomainfrom
doc
Nov 28, 2025
Merged

WIP: Doc#63
simoneliuzzo merged 15 commits intomainfrom
doc

Conversation

@simoneliuzzo
Copy link
Copy Markdown
Contributor

No description provided.

@gubaidulinvadim gubaidulinvadim marked this pull request as draft November 19, 2025 13:09
@simoneliuzzo
Copy link
Copy Markdown
Contributor Author

Dear @gubaidulinvadim and @JeanLucPons,

I have updated the doc with the most recent developments.

if you want to merge this changes, I will later reopen this branch

@gubaidulinvadim gubaidulinvadim marked this pull request as ready for review November 28, 2025 13:04
Copy link
Copy Markdown
Contributor

@gubaidulinvadim gubaidulinvadim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it is good to merge. Then the documentation should be updated continuously in other merge requests, at the very least in those with minor version bumps.

@simoneliuzzo simoneliuzzo merged commit 9c3e1b0 into main Nov 28, 2025
3 checks passed
@gubaidulinvadim gubaidulinvadim deleted the doc branch December 17, 2025 08:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants